Devenirs, devenir écrivain, Proust-Kafka

Éditorial: Informatique et devenir

Kafka versus RabbitMQ

Publish/subscribe is a distributed interaction paradigm well adapted to the deployment of scalable and loosely coupled systems. Apache Kaˆa and RabbitMQ are two popular open-source and commercially-supported pub/sub systems that have been around for almost a decade and have seen wide adoption. Given the popularity of these two systems and the fact that both are branded as pub/sub systems, two f...

Reading fiction and the psychoanalytic experience: Proust on reading and on reading Proust.

Reading can at times engage one emotionally and entail inner psychological experiences in ways akin to those in clinical psychoanalysis. In that light, after a general introduction regarding the import of reading, attention is turned to Proust, Freud's literary complement, as an exemplary instance to illustrate those similarities. Ideas of Proust on reading are followed by thoughts on reading P...

Proust: A Nano Proof Assistant

Proust is a small Racket program offering rudimentary interactive assistance in the development of verified proofs for propositional and predicate logic. It is constructed in stages, some of which are done by students before using it to complete proof exercises, and in parallel with the study of its theoretical underpinnings, including elements of Martin-Löf type theory. The goal is twofold: to...

Proust, Kolb, Kolb-Proust : emboîtement d''écritures autour de l''écriture

RÉSUMÉ. La bibliothèque de l’Université d’Illinois développe depuis 1994 un outil hypertexte qui rassemble des sources secondaires sur la vie littéraire, artistique et mondaine en France pour la période 1870-1925, à partir des 40 000 fiches de recherche constituées par le professeur Kolb pour son édition de la correspondance de Marcel Proust. L’insertion de métadonnées, de liens hypertextes et ...